Planning with Incomplete Information

Planning is a natural domain of application for frameworks of reasoning about actions and change. In this paper we study how one such framework, the Language E, can form the basis for planning under (possibly) incomplete information. We define two types of plans: weak and safe plans, and propose a planner, called the E-Planner, which is often able to extend an initial weak plan into a safe plan even though the (explicit) information available is incomplete, e.g. for cases where the initial state is not completely known. The E-Planner is based upon a reformulation of the Language E in argumentation terms and a natural proof theory resulting from the reformulation. It uses an extension of this proof theory by means of abduction for the generation of plans and adopts argumentation-based techniques for extending weak plans into safe plans. We provide representative examples illustrating the behaviour of the E-Planner, in particular for cases where the status of fluents is incompletely known.Comment: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorad

Collaboration through Wiki and Paper Compositions in Foreign Language Classes

This study investigates the nature of collaboration on wikis as opposed tothe nature of collaboration resulting in a paper composition. In order tounderstand this phenomenon students were placed in groups of four andasked to write two essays during the semester. On one essay students wereasked to produce a composition in the target language on a wiki. Onanother they were asked to produce a composition that would be given tothe teacher in hard copy. Specific research questions includeddetermining to what extent students prefer collaborating to produce a wikior paper composition. Additionally, we attempted to determine, accordingto students, what the advantages and disadvantages of collaborating on awiki composition versus a paper composition are and what effect theseadvantages and disadvantages might have on collaboration. Data wascollected from over one hundred university students through likert-scaletype questions, open-ended written questions as well as face to faceinterviews. Findings indicate that the collaborative process on the wikireflected true collaboration where students had a hand in each part of thecomposition. On the other hand, while completing the paper composition,students generally handed their assigned portion to a single student in thegroup who was designated the compiler and would rarely see or commenton the other group members’ work. The authors also provide a discussionof specific advantages and disadvantages of wiki and paper-basedcompositions and important implications for practitioners

Attendee-Sourcing: Exploring The Design Space of Community-Informed Conference Scheduling

Constructing a good conference schedule for a large multi-track conference needs to take into account the preferences and constraints of organizers, authors, and attendees. Creating a schedule which has fewer conflicts for authors and attendees, and thematically coherent sessions is a challenging task. Cobi introduced an alternative approach to conference scheduling by engaging the community to play an active role in the planning process. The current Cobi pipeline consists of committee-sourcing and author-sourcing to plan a conference schedule. We further explore the design space of community-sourcing by introducing attendee-sourcing -- a process that collects input from conference attendees and encodes them as preferences and constraints for creating sessions and schedule. For CHI 2014, a large multi-track conference in human-computer interaction with more than 3,000 attendees and 1,000 authors, we collected attendees' preferences by making available all the accepted papers at the conference on a paper recommendation tool we built called Confer, for a period of 45 days before announcing the conference program (sessions and schedule). We compare the preferences marked on Confer with the preferences collected from Cobi's author-sourcing approach. We show that attendee-sourcing can provide insights beyond what can be discovered by author-sourcing. For CHI 2014, the results show value in the method and attendees' participation. It produces data that provides more alternatives in scheduling and complements data collected from other methods for creating coherent sessions and reducing conflicts.Comment: HCOMP 201

AtomsMasher: Personal Reactive Automation for the Web

The rise of "Web 2.0" has seen an explosion of web sites for the social sharing of personal information. To enable users to make valuable use of the rich yet fragmented sea of public, social, and personal information, data mashups emerged to provide a means for combining and filtering such information into coherent feeds and visualizations. In this paper we present AtomsMasher (AM), a new framework which extends data mashups into the realm of context-aware reactive behaviors. Reactive scripts in AM can be made to trigger automatically in response to changes in its world model derived from multiple web-based data feeds. By exposing a simple state-model abstraction and query language abstractions of data derived from heterogeneous web feeds through a simulation-based interactive script debugging environment, AM greatly simplifies the process of creating such automation in a way that is flexible, predictable, scalable and within the reach of everyday Web programmers

Spanning the University to Improve Information Literacy e-Instruction

In Fall 2009, the interactive information literacy module "integrity Quickstart"(iQ) was introduced to first and second-year students at Miami University. iQ, which teaches information literacy and academic integrity concepts using the dynamic Flash-based presentation tool Prezi, is a companion to the existing eScholar, a more passive, in-depth tutorial. iQ was created through a unique campus collaboration between the Libraries, University IT and Student Affairs. This session will recount the creation and implementation of iQ, everything from scripting and storyboarding to grant support and dealing with differences of opinion involved with any collaboration. We will discuss how iQ and eScholar work together as part of a bibliographic information session and how campus partnerships can help foster institutional buy-in for academic integrity and information literacy

e-EVN radio detection of Aql X-1 in outburst

The neutron star X-ray binary Aql X-1 is currently in outburst. Using the European VLBI Network (e-EVN) we observed Aql X-1 at 5 GHz in two time-slots: 2013 June 18 between 19:48 - 20:36 UT (MJD 56461.825 - 56461.858), and 2013 June 19 between 02:53 - 05:54 UT (MJD 56462.120 - 56462.246). The two datasets were combined together and then calibrated

Developing an e-infrastructure for social science

We outline the aims and progress to date of the National Centre for e-Social Science e-Infrastructure project. We examine the challenges faced by the project, namely in ensuring outputs are appropriate to social scientists, managing the transition from research projects to service and embedding software and data within a wider infrastructural framework. We also provide pointers to related work where issues which have ramifications for this and similar initiatives are being addressed